Degtyarev, Anatoli: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A note on semantics of logic programs with equality based on complete sets of E-unifiers

Anatoli Degtyarev, Andrei Voronkov

Journal:

The Journal of Logic Programming

Year:

1996

Language:

english

File:

PDF, 538 KB

english, 1996

2

Decidability and complexity of simultaneous rigid E-unification with one variable and related results

Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 137 KB

english, 2000

3

What You Always Wanted to Know about Rigid E-Unification

Anatoli Degtyarev, Andrei Voronkov

Journal:

Journal of Automated Reasoning

Year:

1998

Language:

english

File:

PDF, 569 KB

english, 1998

4

Monodic temporal resolution

Degtyarev, Anatoli, Fisher, Michael, Konev, Boris

Journal:

ACM Transactions on Computational Logic

Year:

2006

Language:

english

File:

PDF, 400 KB

english, 2006

5

The Lifestyle in the Development of Ideological Policy

Chernous, Viktor Vladimirovich, Degtyarev, Alexander Konstantinovich, Lubsky, Anatoly Vladimirovich, Posukhova, Oxana Yuryevna, Volkov, Yury Grigorievich

Journal:

Mediterranean Journal of Social Sciences

Year:

2015

Language:

english

File:

PDF, 136 KB

english, 2015

6

Stratified resolution

Anatoli Degtyarev, Robert Nieuwenhuis, Andrei Voronkov

Journal:

Journal of Symbolic Computation

Year:

2003

Language:

english

File:

PDF, 219 KB

english, 2003

7

SPIE Proceedings [SPIE SPIE Proceedings - (Sunday 12 February 2012)] - Photodetector units for second generation thermal imaging systems in Orion

Burlakov, I. D., Degtyarev, E. V., Ponomarenko, V. P., Filachev, A. M., Filachev, Anatoly M., Ponomarenko, Vladimir P., Dirochka, Alexander I.

Year:

2012

Language:

english

File:

PDF, 1.05 MB

english, 2012

8

Many-Dimensional Logical Systems || Equality and Monodic First-Order Temporal Logic

Anatoli Degtyarev, Michael Fisher and Alexei Lisitsa

Journal:

Year:

2002

Language:

english

File:

PDF, 1.07 MB

english, 2002

9

The undecidability of simultaneous rigid E-unification

Anatoli Degtyarev, Andrei Voronkov

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 559 KB

english, 1996

10

Equality and Monodic First-Order Temporal Logic

Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa

Journal:

Year:

2002

File:

PDF, 516 KB

2002

11

Mechanising first-order temporal resolution

Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt

Journal:

Information and Computation

Year:

2005

Language:

english

File:

PDF, 459 KB

english, 2005

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски